$\forall$$a$, $b$:$\mathbb{Z}$. ({-}imin($a$;$b$)) = imax({-}$a$;{-}$b$)